Integration testing of heterotic systems

Computational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different approaches (e.g. silicon chips and wetware) into a single coherent system. In particular, while testing strategies for single-technology artefacts are generally well developed, it is unclear at present how to perform integration testing on heterotic systems: can we develop a test-set generation strategy for checking whether specified behaviours emerge (and unwanted behaviours do not) when components based on radically different technologies are combined within a single system? In this paper, we describe an approach to modelling multi-technology heterotic systems using a general-purpose formal specification strategy based on Eilenberg's X-machine model of computation. We show how this approach can be used to represent disparate technologies within a single framework, and propose a strategy for using these formal models for automatic heterotic test-set generation. We illustrate our approach by showing how to derive a test set for a heterotic system combining an X-machine-based device with a cell-based P system (membrane system)

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions

© Springer International Publishing Switzerland 2016. Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will require rigorous verification and validation. We propose testing in simulation using Coverage-Driven Verification (CDV) to guide the testing process in an automatic and systematic way. We use a two-tiered test generation approach, where abstract test sequences are computed first and then concretized (e.g., data and variables are instantiated), to reduce the complexity of the test generation problem. To demonstrate the effectiveness of our approach, we developed a testbench for robotic code, running in ROS-Gazebo, that implements an object handover as part of a humanrobot interaction (HRI) task. Tests are generated to stimulate the robot’s code in a realistic manner, through stimulating the human, environment, sensors, and actuators in simulation. We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions. Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI

Tropospheric Ozone Assessment Report: assessment of global-scale model performance for global and regional ozone distributions, variability, and trends

The goal of the Tropospheric Ozone Assessment Report (TOAR) is to provide the research community with an up-to-date scientific assessment of tropospheric ozone, from the surface to the tropopause. While a suite of observations provides significant information on the spatial and temporal distribution of tropospheric ozone, observational gaps make it necessary to use global atmospheric chemistry models to synthesize our understanding of the processes and variables that control tropospheric ozone abundance and its variability. Models facilitate the interpretation of the observations and allow us to make projections of future tropospheric ozone and trace gas distributions for different anthropogenic or natural perturbations. This paper assesses the skill of current-generation global atmospheric chemistry models in simulating the observed present-day tropospheric ozone distribution, variability, and trends. Drawing upon the results of recent international multi-model intercomparisons and using a range of model evaluation techniques, we demonstrate that global chemistry models are broadly skillful in capturing the spatio-temporal variations of tropospheric ozone over the seasonal cycle, for extreme pollution episodes, and changes over interannual to decadal periods. However, models are consistently biased high in the northern hemisphere and biased low in the southern hemisphere, throughout the depth of the troposphere, and are unable to replicate particular metrics that define the longer term trends in tropospheric ozone as derived from some background sites. When the models compare unfavorably against observations, we discuss the potential causes of model biases and propose directions for future developments, including improved evaluations that may be able to better diagnose the root cause of the model-observation disparity. Overall, model results should be approached critically, including determining whether the model performance is acceptable for the problem being addressed, whether biases can be tolerated or corrected, whether the model is appropriately constituted, and whether there is a way to satisfactorily quantify the uncertainty

Testing data types implementations from algebraic specifications

Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms. This makes it possible to formally state the fundamental concepts of testing: exhaustive test set, testability hypotheses, oracle. Various criteria for selecting finite test sets have been proposed. They depend on the form of the axioms, and on the possibilities of observation of the implementation under test. This last point is related to the well-known oracle problem. As the main interest of algebraic specifications is data type abstraction, testing a concrete implementation raises the issue of the gap between the abstract description and the concrete representation. The observational semantics of algebraic specifications bring solutions on the basis of the so-called observable contexts. After a description of testing methods based on algebraic specifications, the chapter gives a brief presentation of some tools and case studies, and presents some applications to other formal methods involving datatypes

Tropospheric Ozone Assessment Report: Present-day distribution and trends of tropospheric ozone relevant to climate and global atmospheric chemistry model evaluation

The Tropospheric Ozone Assessment Report (TOAR) is an activity of the International Global Atmospheric Chemistry Project. This paper is a component of the report, focusing on the present-day distribution and trends of tropospheric ozone relevant to climate and global atmospheric chemistry model evaluation. Utilizing the TOAR surface ozone database, several figures present the global distribution and trends of daytime average ozone at 2702 non-urban monitoring sites, highlighting the regions and seasons of the world with the greatest ozone levels. Similarly, ozonesonde and commercial aircraft observations reveal ozone’s distribution throughout the depth of the free troposphere. Long-term surface observations are limited in their global spatial coverage, but data from remote locations indicate that ozone in the 21st century is greater than during the 1970s and 1980s. While some remote sites and many sites in the heavily polluted regions of East Asia show ozone increases since 2000, many others show decreases and there is no clear global pattern for surface ozone changes since 2000. Two new satellite products provide detailed views of ozone in the lower troposphere across East Asia and Europe, revealing the full spatial extent of the spring and summer ozone enhancements across eastern China that cannot be assessed from limited surface observations. Sufficient data are now available (ozonesondes, satellite, aircraft) across the tropics from South America eastwards to the western Pacific Ocean, to indicate a likely tropospheric column ozone increase since the 1990s. The 2014–2016 mean tropospheric ozone burden (TOB) between 60˚N–60˚S from five satellite products is 300 Tg ± 4%. While this agreement is excellent, the products differ in their quantification of TOB trends and further work is required to reconcile the differences. Satellites can now estimate ozone’s global long-wave radiative effect, but evaluation is difficult due to limited in situ observations where the radiative effect is greatest

Tropospheric Ozone Assessment Report: Present-day distribution and trends of tropospheric ozone relevant to climate and global atmospheric chemistry model evaluation

The Tropospheric Ozone Assessment Report (TOAR) is an activity of the International Global Atmospheric Chemistry Project. This paper is a component of the report, focusing on the present-day distribution and trends of tropospheric ozone relevant to climate and global atmospheric chemistry model evaluation. Utilizing the TOAR surface ozone database, several figures present the global distribution and trends of daytime average ozone at 2702 non-urban monitoring sites, highlighting the regions and seasons of the world with the greatest ozone levels. Similarly, ozonesonde and commercial aircraft observations reveal ozone’s distribution throughout the depth of the free troposphere. Long-term surface observations are limited in their global spatial coverage, but data from remote locations indicate that ozone in the 21st century is greater than during the 1970s and 1980s. While some remote sites and many sites in the heavily polluted regions of East Asia show ozone increases since 2000, many others show decreases and there is no clear global pattern for surface ozone changes since 2000. Two new satellite products provide detailed views of ozone in the lower troposphere across East Asia and Europe, revealing the full spatial extent of the spring and summer ozone enhancements across eastern China that cannot be assessed from limited surface observations. Sufficient data are now available (ozonesondes, satellite, aircraft) across the tropics from South America eastwards to the western Pacific Ocean, to indicate a likely tropospheric column ozone increase since the 1990s. The 2014–2016 mean tropospheric ozone burden (TOB) between 60˚N–60˚S from five satellite products is 300 Tg ± 4%. While this agreement is excellent, the products differ in their quantification of TOB trends and further work is required to reconcile the differences. Satellites can now estimate ozone’s global long-wave radiative effect, but evaluation is difficult due to limited in situ observations where the radiative effect is greatest

Structural Insights into Human Peroxisome Proliferator Activated Receptor Delta (PPAR-Delta) Selective Ligand Binding

Peroxisome proliferator activated receptors (PPARs δ, α and γ) are closely related transcription factors that exert distinct effects on fatty acid and glucose metabolism, cardiac disease, inflammatory response and other processes. Several groups developed PPAR subtype specific modulators to trigger desirable effects of particular PPARs without harmful side effects associated with activation of other subtypes. Presently, however, many compounds that bind to one of the PPARs cross-react with others and rational strategies to obtain highly selective PPAR modulators are far from clear. GW0742 is a synthetic ligand that binds PPARδ more than 300-fold more tightly than PPARα or PPARγ but the structural basis of PPARδ:GW0742 interactions and reasons for strong selectivity are not clear. Here we report the crystal structure of the PPARδ:GW0742 complex. Comparisons of the PPARδ:GW0742 complex with published structures of PPARs in complex with α and γ selective agonists and pan agonists suggests that two residues (Val312 and Ile328) in the buried hormone binding pocket play special roles in PPARδ selective binding and experimental and computational analysis of effects of mutations in these residues confirms this and suggests that bulky substituents that line the PPARα and γ ligand binding pockets as structural barriers for GW0742 binding. This analysis suggests general strategies for selective PPARδ ligand design